prove that [a b